package tarantula.experiment.math;

import junit.framework.TestCase;

public class MathFailedTestsDDSliceBug3 extends TestCase {
	  public void test4() throws Throwable {

		    java.lang.Double var0 = new java.lang.Double((-1.0d));
		    double[] var1 = new double[] { var0};
		    org.apache.commons.math.linear.OpenMapRealVector var2 = new org.apache.commons.math.linear.OpenMapRealVector(var1);
		    int var3 = var2.getDimension();
		    java.lang.Double var4 = new java.lang.Double((-1.0d));
		    java.lang.Double var5 = new java.lang.Double(0.0d);
		    java.lang.Double var6 = new java.lang.Double((-1.0d));
		    double[] var7 = new double[] { var4, var5, var6};
		    org.apache.commons.math.linear.ArrayRealVector var8 = new org.apache.commons.math.linear.ArrayRealVector(var7);
		    java.lang.Double var9 = new java.lang.Double((-1.0d));
		    java.lang.Double var10 = new java.lang.Double(0.0d);
		    java.lang.Double var11 = new java.lang.Double((-1.0d));
		    double[] var12 = new double[] { var9, var10, var11};
		    org.apache.commons.math.linear.ArrayRealVector var13 = new org.apache.commons.math.linear.ArrayRealVector(var12);
		    java.lang.Double var14 = new java.lang.Double((-1.0d));
		    java.lang.Double var15 = new java.lang.Double(10.0d);
		    java.lang.Double var16 = new java.lang.Double(100.0d);
		    org.apache.commons.math.linear.RealVector var17 = var13.mapPowToSelf((double)var16);
		    java.lang.Double var18 = new java.lang.Double((-1.0d));
		    double[] var19 = new double[] { var18};
		    org.apache.commons.math.linear.OpenMapRealVector var20 = new org.apache.commons.math.linear.OpenMapRealVector(var19);
		    java.lang.Double var21 = new java.lang.Double((-1.0d));
		    double[] var22 = new double[] { var21};
		    org.apache.commons.math.linear.OpenMapRealVector var23 = new org.apache.commons.math.linear.OpenMapRealVector(var22);
		    org.apache.commons.math.linear.OpenMapRealVector var24 = var20.add(var23);
		    org.apache.commons.math.linear.OpenMapRealVector var25 = new org.apache.commons.math.linear.OpenMapRealVector(var24);
		    java.lang.Double var26 = new java.lang.Double((-1.0d));
		    java.lang.Double var27 = new java.lang.Double(0.0d);
		    java.lang.Double var28 = new java.lang.Double((-1.0d));
		    double[] var29 = new double[] { var26, var27, var28};
		    org.apache.commons.math.linear.ArrayRealVector var30 = new org.apache.commons.math.linear.ArrayRealVector(var29);
		    java.lang.Double var31 = new java.lang.Double((-1.0d));
		    java.lang.Double var32 = new java.lang.Double(0.0d);
		    java.lang.Double var33 = new java.lang.Double((-1.0d));
		    double[] var34 = new double[] { var31, var32, var33};
		    java.lang.Double var35 = new java.lang.Double(0.0d);
		    java.lang.Double var36 = new java.lang.Double((-1.0d));
		    org.apache.commons.math.linear.RealVector var37 = var30.mapDivide((double)var36);
		    org.apache.commons.math.linear.RealVector var38 = var25.mapSubtractToSelf((double)var36);
		    
		    // Checks the contract:  equals-hashcode on var17 and var37
		    assertTrue("Contract failed: equals-hashcode on var17 and var37", var17.equals(var37) ? var17.hashCode() == var37.hashCode() : true);
		    
		    // Checks the contract:  equals-hashcode on var37 and var17
		    assertTrue("Contract failed: equals-hashcode on var37 and var17", var37.equals(var17) ? var37.hashCode() == var17.hashCode() : true);

		  }
	  public void test11() throws Throwable {

		    java.lang.Double var0 = new java.lang.Double((-1.0d));
		    java.lang.Double var1 = new java.lang.Double(0.0d);
		    java.lang.Double var2 = new java.lang.Double((-1.0d));
		    double[] var3 = new double[] { var0, var1, var2};
		    org.apache.commons.math.linear.ArrayRealVector var4 = new org.apache.commons.math.linear.ArrayRealVector(var3);
		    java.lang.Double var5 = new java.lang.Double((-1.0d));
		    java.lang.Double var6 = new java.lang.Double(0.0d);
		    java.lang.Double var7 = new java.lang.Double((-1.0d));
		    double[] var8 = new double[] { var5, var6, var7};
		    org.apache.commons.math.linear.ArrayRealVector var9 = new org.apache.commons.math.linear.ArrayRealVector(var8);
		    java.lang.Double var10 = new java.lang.Double((-1.0d));
		    java.lang.Double var11 = new java.lang.Double(100.0d);
		    org.apache.commons.math.linear.RealVector var12 = var9.mapPowToSelf((double)var11);
		    java.lang.Double[] var13 = new java.lang.Double[] { var11};
		    org.apache.commons.math.linear.ArrayRealVector var14 = new org.apache.commons.math.linear.ArrayRealVector(var13);
		    java.lang.Double var15 = new java.lang.Double((-1.0d));
		    double[] var16 = new double[] { var15};
		    org.apache.commons.math.linear.OpenMapRealVector var17 = new org.apache.commons.math.linear.OpenMapRealVector(var16);
		    java.lang.Double var18 = new java.lang.Double((-1.0d));
		    double[] var19 = new double[] { var18};
		    org.apache.commons.math.linear.OpenMapRealVector var20 = new org.apache.commons.math.linear.OpenMapRealVector(var19);
		    org.apache.commons.math.linear.OpenMapRealVector var21 = var17.add(var20);
		    org.apache.commons.math.linear.OpenMapRealVector var22 = new org.apache.commons.math.linear.OpenMapRealVector(var21);
		    java.lang.Double var23 = new java.lang.Double((-1.0d));
		    java.lang.Double var24 = new java.lang.Double(0.0d);
		    java.lang.Double var25 = new java.lang.Double((-1.0d));
		    double[] var26 = new double[] { var23, var24, var25};
		    org.apache.commons.math.linear.ArrayRealVector var27 = new org.apache.commons.math.linear.ArrayRealVector(var26);
		    java.lang.Double var28 = new java.lang.Double((-1.0d));
		    java.lang.Double var29 = new java.lang.Double(0.0d);
		    java.lang.Double var30 = new java.lang.Double((-1.0d));
		    double[] var31 = new double[] { var28, var29, var30};
		    java.lang.Double var32 = new java.lang.Double(0.0d);
		    java.lang.Double var33 = new java.lang.Double((-1.0d));
		    org.apache.commons.math.linear.RealVector var34 = var27.mapDivide((double)var33);
		    boolean var35 = var14.equals((java.lang.Object)var33);
		    
		    // Checks the contract:  equals-hashcode on var12 and var34
		    assertTrue("Contract failed: equals-hashcode on var12 and var34", var12.equals(var34) ? var12.hashCode() == var34.hashCode() : true);
		    
		    // Checks the contract:  equals-hashcode on var34 and var12
		    assertTrue("Contract failed: equals-hashcode on var34 and var12", var34.equals(var12) ? var34.hashCode() == var12.hashCode() : true);

		  }
	  public void test13() throws Throwable {

		    java.lang.Double var0 = new java.lang.Double((-1.0d));
		    double[] var1 = new double[] { var0};
		    org.apache.commons.math.linear.OpenMapRealVector var2 = new org.apache.commons.math.linear.OpenMapRealVector(var1);
		    java.lang.Double var3 = new java.lang.Double((-1.0d));
		    double[] var4 = new double[] { var3};
		    org.apache.commons.math.linear.OpenMapRealVector var5 = new org.apache.commons.math.linear.OpenMapRealVector(var4);
		    org.apache.commons.math.linear.OpenMapRealVector var6 = var2.add(var5);
		    org.apache.commons.math.linear.OpenMapRealVector var7 = new org.apache.commons.math.linear.OpenMapRealVector(var6);
		    java.lang.Double var8 = new java.lang.Double((-1.0d));
		    java.lang.Double var9 = new java.lang.Double(0.0d);
		    java.lang.Double var10 = new java.lang.Double((-1.0d));
		    double[] var11 = new double[] { var8, var9, var10};
		    org.apache.commons.math.linear.ArrayRealVector var12 = new org.apache.commons.math.linear.ArrayRealVector(var11);
		    java.lang.Double var13 = new java.lang.Double((-1.0d));
		    java.lang.Double var14 = new java.lang.Double(0.0d);
		    java.lang.Double var15 = new java.lang.Double((-1.0d));
		    double[] var16 = new double[] { var13, var14, var15};
		    org.apache.commons.math.linear.ArrayRealVector var17 = new org.apache.commons.math.linear.ArrayRealVector(var16);
		    java.lang.Double var18 = new java.lang.Double((-1.0d));
		    org.apache.commons.math.linear.RealVector var19 = var12.mapDivide((double)var18);
		    java.lang.Double var20 = new java.lang.Double((-1.0d));
		    double[] var21 = new double[] { var20};
		    org.apache.commons.math.linear.OpenMapRealVector var22 = new org.apache.commons.math.linear.OpenMapRealVector(var21);
		    int var23 = var22.getDimension();
		    java.lang.Double var24 = new java.lang.Double((-1.0d));
		    java.lang.Double var25 = new java.lang.Double(0.0d);
		    java.lang.Double var26 = new java.lang.Double((-1.0d));
		    double[] var27 = new double[] { var24, var25, var26};
		    org.apache.commons.math.linear.ArrayRealVector var28 = new org.apache.commons.math.linear.ArrayRealVector(var27);
		    java.lang.Double var29 = new java.lang.Double((-1.0d));
		    java.lang.Double var30 = new java.lang.Double(0.0d);
		    java.lang.Double var31 = new java.lang.Double((-1.0d));
		    double[] var32 = new double[] { var29, var30, var31};
		    org.apache.commons.math.linear.ArrayRealVector var33 = new org.apache.commons.math.linear.ArrayRealVector(var32);
		    java.lang.Double var34 = new java.lang.Double((-1.0d));
		    java.lang.Double var35 = new java.lang.Double(100.0d);
		    org.apache.commons.math.linear.RealVector var36 = var33.mapPowToSelf((double)var35);
		    org.apache.commons.math.linear.ArrayRealVector var37 = new org.apache.commons.math.linear.ArrayRealVector(var23, var35);
		    
		    // Checks the contract:  equals-hashcode on var19 and var36
		    assertTrue("Contract failed: equals-hashcode on var19 and var36", var19.equals(var36) ? var19.hashCode() == var36.hashCode() : true);
		    
		    // Checks the contract:  equals-hashcode on var36 and var19
		    assertTrue("Contract failed: equals-hashcode on var36 and var19", var36.equals(var19) ? var36.hashCode() == var19.hashCode() : true);

		  }
}
